Diction conveys a wide array of meanings of which formality and emotionality are only two facets. Researchers have investigated various features of written discourse to capture discourse variation in L1 and L2 writings. Likewise, the present ex-post-facto study compared the formality and emotionality of diction in general and emotional English and Farsi texts produced by 20 MA students at Islam...

We will provide a formal account of cranberry words in German within the framework of HPSG. Cranberry words only occur in a very restricted set of linguistic environments but behave as any other word would in these environments. We will show that the distribution of these words can neither be reduced to constructions nor to selection. Therefore, a formal theory of distribution and collocations ...

the present paper aims to examine the role of frequency lexicon in assessing lexical proficiency of persian learners. addressing the frequency distribution pattern of persian words, the research which is conducted in corpus-based method studies the relationship between words and lexical proficiency as well as derives the frequency lexicon from persian corpus. to do so, formal and colloquial per...

Framed in Farahzad’s (2009) critical discourse analysis (CDA) model, the present research aimed at analyzing these influences in two Persian translations of Alice’s Adventures in Wonderland at micro and macro levels. To do so, the textual features at micro-level, while the constituent aspects about the translated texts at macro-level were examined. As to the micro-level analysis, it was found t...

The educational challenge of polysemy of words used both in non-formal (every-day) and scientific formal languages is addressed. An analysing tool, the triadic approach, has been elaborated to make this kind of polysemy of words explicit by discerning three different sets of meaning: non-formal, a scientific quality and a physical quantity, respectively. The discernment process is a particular ...

We present a top-down approach to identifying and defining words for the Lyee system using the visual formalism known as Condition Data Flow Diagram used in the SOFL (Structured Object-Oriented Formal Language) formal engineering method. The proposed technique can assist the analyst to identify effectively the necessary words as outputs of operations in a structured manner and to represent the ...

In formal verification, we check the correctness of a system with respect to a desired property by checking whether a mathematical model of the system satisfies a specification that formally expresses the property. In the automata-theoretic approach to formal verification, we model both the system and the specification by automata. Questions about systems and their specifications are then reduc...